Derek Elkins: Arithmetic Functions
hedonisticlearning.com·7h
⚔️Lean Theorem
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·4h·
Discuss: Hacker News
📼Tape Combinators
Rewriting Modulo Traced Comonoid Structure
arxiv.org·2d
🔄Graph Rewriting
HigherOrderCO/HVM3
github.com·5h
🔗Functional Compilers
Scheme Basics
courses.cs.washington.edu·18h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Software convergence
underlap.org·1d
🔢Denotational Semantics
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔀Category Theory
Designing Trustworthy ML Models: Alan & Aida Discover Monotonicity in Machine Learning
towardsdatascience.com·1d
🧠Machine Learning
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
Lessons from AI Safety for Businesses
svana.name·21h·
Discuss: Hacker News
🌍Cultural Algorithms
Lobsters Interview with Matklad
lobste.rs·16h·
Discuss: Lobsters
🦀Rust Macros
AI Code Generation: Trust and Verify, Always
thenewstack.io·16h
⚙️Proof Engineering
A better for loop?
cirw.in·1d
🦀Rust Macros
WeakC4, or Distilling an Emergent Object
2swap.github.io·6h·
Discuss: Hacker News
🔲Cellular Automata
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
What is a smooth manifold?
burttotaro.wordpress.com·1d
🕸️Algebraic Topology
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·5d
🔗Functional Compilers
Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·15h
🔐Cryptographic Archaeology